extension against rule

扩充反例规则